Verification Tools – alle Bücher

Ihre Suche nach "verification tools" ergab 2 Treffer

Tools for Design, Implementation and Verification of Emerging Information Technologies

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering -Band 523

This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 65,71*

Artikel merken

In den Warenkorb

Menge ändern

Model Checking Software

Lecture Notes in Computer Science -Band 14624

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers,…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Artikel merken

In den Warenkorb

Menge ändern